cd
cd SOMA
dtterm -name Dom1 -iconic -e java GateWay.GateMain agents1.net Domain1.net 5001 Default1.pol &
dtterm -name Dom2 -iconic -e java GateWay.GateMain agents2.net Domain2.net 6001 Default2.pol &
cd Bach
rm esterno/*.class
dtterm -name Bach -iconic -e java AgentSystem.Main agents1.net 5555 5550 Dom1 Bach $HOME/SOMA/Bach Pol1.pol .keystore .RSAKeyStore &
cd ../Godel
rm esterno/*.class
dtterm -name Godel -iconic -e java AgentSystem.Main agents2.net 5666 5660 Dom2 Godel $HOME/SOMA/Godel Pol3.pol .keystore .RSAKeyStore &
cd ../Escher
rm esterno/*.class
dtterm -name Escher -iconic -e java AgentSystem.Main agents2.net 6666 6660 Dom2 Escher $HOME/SOMA/Escher Pol3.pol .keystore .RSAKeyStore &

